OptBPPlanner: Automatic Generation of Optimized Business Process Enactment Plans

Unlike imperative models, the specifi cation of business process (BP) properties in a declarative way allows the user to specify what has to be done instead of having to specify how it has to be done, thereby facilitating the human work involved, avoiding failures, and obtaining a better optimization. Frequently, there are several enactment plans related to a specifi c declarative model, each one presenting specifi c values for different objective functions, e.g., overall completion time. As a major contribution of this work, we propose a method for the automatic generation of optimized BP enactment plans from declarative specifi cations. The proposed method is based on a constraint-based approach for planning and scheduling the BP activities. These optimized plans can then be used for different purposes like simulation, time prediction, recommendations, and generation of optimized BP models. Moreover, a tool-supported method, called OptBPPlanner, has been implemented to demonstrate the feasibility of our approach. Furthermore, the proposed method is validated through a range of test models of varying complexity.Ministerio de Ciencia e Innovación TIN2009-1371

Análisis de la legitimidad del proceso de emisión de la regulación contable financiera en Colombia

Con la expedición de la Ley 1314 de 2009 Colombia inició la convergencia de la regulación contable financiera del sector privado hacia estándares internacionales, producto de lo cual se definió la regulación contable financiera aplicable a las entidades clasificadas en el grupo 1, grupo 2 y grupo 3. No obstante, posterior a su expedición esta ha sido objeto de excepciones. Sobre la premisa de que las excepciones realizadas a la regulación contable financiera emitida en cumplimiento de la Ley 1314 de 2009 son un indicio de que esta carecía de legitimidad, la presente investigación analiza los principales aspectos que afectan la legitimidad procedimental de la regulación contable financiera emitida en Colombia para el sector privado en cumplimiento de la Ley 1314 de 2009. Para ello, con base en la teoría de la legitimidad desarrollada por Suchman (1995) y en el modelo normativo de debido proceso de Richardson (2008), se realizó un estudio comparativo del proceso llevado a cabo en Colombia y un análisis de contenido de los documentos generados por el normalizador y los reguladores producto de la referida convergencia. Como resultado se concluye que el principal aspecto que afecta la legitimidad procedimental de la regulación contable financiera emitida en Colombia para el sector privado en cumplimiento de la Ley 1314 de 2009 es la no observancia del procedimiento mínimo establecido en los artículos 7 y 8, particularmente en lo relativo a la evaluación de los comentarios y sus argumentos.Abstract: With the issuance of Law 1314 of 2009 Colombia began the convergence of financial accounting regulation of the private sector towards international standards, as a result of which the financial accounting regulation applicable to entities classified in group 1, group 2 and group 3 was defined. However, after its issuance it has been subject to exceptions. On the premise that the exceptions made to the financial accounting regulation issued in compliance with Law 1314 of 2009 are an indication that it lacked legitimacy, the present investigation analyzes the main aspects that affect the procedural legitimacy of the financial accounting regulations issued. in Colombia for the private sector in compliance with Law 1314 of 2009. For this, based on the theory of legitimacy developed by Suchman (1995) and in the normative due process model of Richardson (2008), a study was conducted comparative of the process carried out in Colombia and a content analysis of the documents generated by the normalizer and the regulators product of the aforementioned convergence. As a result, it is concluded that the main aspect affecting the procedural legitimacy of the financial accounting regulation issued in Colombia for the private sector in compliance with Law 1314 of 2009 is the non-observance of the minimum procedure established in Articles 7 and 8, particularly in regarding the evaluation of the comments and their arguments.Maestrí

Estandarización de la técnica GC-MS para análisis de cocaína y caracterización de sus principales adulterantes en el Eje Cafétero

El trabajo consistió en realizar la estandarización del método de la técnica Cromatografía de Gases acoplada a Espectrometría de masas (siglas en ingles GC-MS) que consiste en el análisis de muestras de cocaína, incautadas en el eje cafetero realizado en el Cuerpo Técnico de Investigación de la Fiscalía General de la Nación Durante la realización del trabajo, se encontraron resultados correspondientes a la estandarización en sí, como límite de detección, límite de cuantificación, linealidad, precisión, exactitud, etc. A parte de los resultados de estandarización, se encontraron igualdades entre las concentraciones de los adulterantes en las diferentes muestras incautadas. Finalmente el trabajo aporta en la investigación judicial, ya que al ser un método estandarizado, es bien visto por la comunidad científica, dando iniciativa a la investigación en este campo, fortaleciendo el vinculo que existe entre la rama judicial y la investigación. Enmarcándolo en un contexto social, el trabajo ayuda a la lucha contra el tráfico de estupefacientes y permitiendo a las autoridades e instituciones realizar mejor su trabajo. En este proyecto se estandarizó un método analítico presente en el laboratorio de la Fiscalía General de la Nación seccional Pereira, empleando la técnica de Cromatografía de Gases acoplado a Espectrometría de Masas, para la determinación y cuantificación de cocaína y los principales adulterantes presentes en la cocaína incautada en el eje cafetero

Towards a new Tool for Managing Declarative Temporal Business Process Models

Business processes which require a high flexibility are com- monly specified in a declarative (e.g., constraint-based) way. In general, offering operational support (e.g., generating possible execution traces) to declarative business process models entails more complexity when compared to imperative modeling alternatives. Such support becomes even more complex in many real scenarios where the management of complex temporal relations between the process activities is crucial (i.e., the temporal perspective should be managed). Despite the needs for enabling process flexibility and dealing with temporal constraints, most existing tools are unable to manage both. In a previous work, we then proposed TConDec-R, which is a constraint-based process modeling lan- guage which allows for the specification of temporal constraints. In this paper we introduce the basis and a prototype of a constraint-based tool with a client/server architecture for providing operational support to TConDec-R process models.Ministerio de Economía y Competitividad TIN2016-76956-C3-2-

Pensamiento creativo y contextualización de la creatividad

PregradoTecnólogo en Mercadeo y Diseño PublicitarioTecnología en Mercadeo y Diseño Publicitari

IMPACTO DEL DESEQUILIBRIO DE CLASES EN EL ENTRENAMIENTO DE REDES NEURONALES CONVOLUCIONALES EN PROBLEMAS MULTI-CLASE (IMPACT OF CLASS IMBALANCE IN THE TRAINING OF CONVOLUTIONAL NEURAL NETWORKS FOR MULTI-CLASS PROBLEMS)

El problema del desequilibrio de clases en el aprendizaje automático, se presenta cuando el conjunto de entrenamiento subyacente está compuesto por un número desigual de muestras para cada clase, lo que ocasiona que datos de algunas clases dominen claramente. Aparentemente, la mayoría de los modelos clasificadores aprenden a clasificar dichos conjuntos de datos; sin embargo, presentan un rendimiento de generalización deficiente debido a un fuerte sesgo hacia las clases mayoritarias. En este artículo, se presenta un estudio sistemático dirigido a comprender como afecta el problema del desequilibrio de clases al rendimiento de una red neuronal convolucional entrenada para una tarea de clasificación de imágenes, y se presenta una metodología para corregir el sobreentrenamiento e incrementar la generalización de la red.The class imbalance problem in machine learning occurs when the underlying training set is composed of unequal number of samples for each class, which causes data from some classes to clearly dominate. Apparently, most classifiers learn to classify such datasets, however, they show poor generalization performance due to a strong bias towards the majority classes. This article presents a systematic study aimed at understanding how the class imbalance problem affects the performance of a convolutional neural network which has been trained for an image classification task. Also, we present a methodology to correct the overtraining and increase the generalization performance of the network

Diseño conceptual de un banco de pruebas estático para motores de cohetería tipo G y K

Un banco de pruebas para cohetería es una plataforma estructural que tiene como propósito de realizar ensayos mediante instrumentos de medición, permitiendo la comprobación, análisis, comportamiento y resultados al elemento a estudiar (Cohete). Existen ciertos componentes del banco de pruebas para cohete como lo son los sensores, componentes electrónicos, tableros, relojes, deflector de llama, que permiten el funcionamiento y acceso a los conocimientos ingenieriles en sistemas de propulsión. Al realizar la investigación en antecedentes de los bancos de pruebas, remota hace 800 años en China en la utilización de la pólvora en el uso de los juegos artificiales, y con el paso de los años los ingenieros y especialistas de ciertas ramas se han tenido que realizar suficientes estudios antes de hacer lanzamientos de cohetes con el fin de evitar catástrofes, accidentes o daños por errores no corregidos, por medio de ello, la utilización de los bancos de prueba (BEMCO) tienen ese objetivo. Entidades gubernamentales, privadas y universidades se incentivan en la realización de bancos de pruebas a bajo costo, que permitan aportar en la investigación e industria con grandes desarrollos, y así generar un amplio interés al estudiante o investigador del programa de ingeniería aeronáutica de la Fundación Universitaria Los Libertadores. Con este diseño conceptual permitirá al lector, conocer las técnicas que se utilizaron como lo son el despliegue de función de calidad, metodología utilizada y análisis funcional, la cual ayudó a evaluar los diferentes conceptos generados durante la investigación, y finalmente se escogió el diseño dominanteA test bench for rocketry is a structural platform whose purpose is to carry out tests of measuring instruments, allowing the verification, analysis, behavior, and results of the element to be studied (Rocket). There are certain components of the rocket test bench such as sensors, electronic components, boards, clocks, flame deflector, which allow operation and access to engineering knowledge in propulsion systems. When conducting the background investigation of the test benches, remote 800 years ago in China in the use of gunpowder in the use of fireworks, and over the years the engineers and specialists of certain branches have had to carry out sufficient studies before launching rockets in order to avoid catastrophes, accidents or damage due to uncorrected errors, through this, the use of test benches (BEMCO) have that objective. Government and private entities and universities are encouraged to carry out low-cost test benches, which will contribute to research and industry with great developments, and thus generate broad interest to the student or researcher of the aeronautical engineering program of Los Libertadores University. With this conceptual design, it will allow the reader to know the techniques that will be used, such as the deployment of the quality function, the methodology used and the functional analysis, which helped to evaluate the different concepts generated during the research, and finally the dominant design was chosen

Sistematización modelo educativo del colegio La Colina, como aporte al crecimiento de propuesta pedagógicas innovadoras en la ciudad de Bogotá.

Sistematizar y caracterizar el modelo pedagógico del colegio La Colina con el fin de aportar al crecimiento de propuestas pedagógicas innovadoras en la ciudad de Bogotá.Continuamente se oyen los clamores de los decentes en cuanto a generar un modelo que les permita hacer más por sus estudiantes de lo que hasta hoy es posible. Sin embargo, esos deseos se quedan ahí, en la pretensión porque la educación en Colombia no ha sido estructurada para que los jóvenes aprendientes construyan conocimiento, convirtiéndolos en simples grabadoras a las que durante años se les mete información que, en muchos casos, termina siendo inoficiosa pues no les aporta ninguna habilidad para afrontar y desenvolverse en la cotidianidad y en sus contextos más próximos. Sumado a lo anterior está que los docentes no van más allá de su zona de confort tratando de evitar el estrés que les pueda generar el tener que crear, el tener que desempeñar el rol de docentes-investigadores, asimilando esta labor como una tarea más que se suma a la alta carga laborar que tienen que cumplir

Automatic generation of optimized business process models from constraint-based specifications

Business process (BP) models are usually defined manually by business analysts through imperative languages considering activity properties, constraints imposed on the relations between the activities as well as different performance objectives. Furthermore, allocating resources is an additional challenge since scheduling may significantly impact BP performance. Therefore, the manual specification of BP models can be very complex and time-consuming, potentially leading to non-optimized models or even errors. To overcome these problems, this work proposes the automatic generation of imperative optimized BP models from declarative specifications. The static part of these declarative specifications (i.e. control-flow and resource constraints) is expected to be useful on a long-term basis. This static part is complemented with information that is less stable and which is potentially unknown until starting the BP execution, i.e. estimates related to (1) number of process instances which are being executed within a particular timeframe, (2) activity durations, and (3) resource availabilities. Unlike conventional proposals, an imperative BP model optimizing a set of instances is created and deployed on a short-term basis. To provide for run-time flexibility the proposed approach additionally allows decisions to be deferred to run-time by using complex late-planning activities, and the imperative BP model to be dynamically adapted during run-time using replanning. To validate the proposed approach, different performance measures for a set of test models of varying complexity are analyzed. The results indicate that, despite the NP-hard complexity of the problems, a satisfactory number of suitable solutions can be produced.Ministerio de Ciencia e Innovación TIN2009-1371